COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet
C00005 ENDMK
C⊗;
\input jmclet
\jmclet
\address
Dr. Ian Mason
Laboratory for Foundations of Computer Science
Department of Computer Science
University of Edinburgh
James Clerk Maxwell Building
Mayfield Road
Edinburgh, U.K.  EH93JZ
\body

Dear Dr. Mason:

I am pleased to offer you a three year appointment as Research Associate in the
Formal Reasoning Group of the Computer Science Department at Stanford
University.  The appointment is effective December 1, 1988
with a starting salary of \$44,000 per year.

You should plan to attend a University and Benefits Orientation for
explanation of the various benefits available to you as close as possible
to the date you are placed on the payroll.  Your submission of the
appropriate enrollment forms determines the effective date of many of your
benefits.

This offer is subject to your authorization to work as required by the
Immigration Reform and Control Act of 1986.  I am enclosing a list of approved
documents which will establish proof of your eligibility for employment.  The
document or documents of your choice must be presented by you in person.  You
will also be required to complete a verification form (INS form I-9) at the
time you present the document(s).

We look forward to having you back.

\closing
Sincerely,
John McCarthy
\endletter
\end